7

On the formal semantics of IF-like logics

Year:
2010
Language:
english
File:
PDF, 282 KB
english, 2010
8

On the computing power of fuzzy Turing machines

Year:
2008
Language:
english
File:
PDF, 216 KB
english, 2008
10

THE EXPRESSIVE POWER OF MEMORY LOGICS

Year:
2011
Language:
english
File:
PDF, 219 KB
english, 2011
11

Feasible Analysis, Randomness, and Base Invariance

Year:
2015
Language:
english
File:
PDF, 891 KB
english, 2015
16

Turing’s unpublished algorithm for normal numbers

Year:
2007
Language:
english
File:
PDF, 323 KB
english, 2007
21

Vida e obra de Balzac

Year:
1942
Language:
english
File:
PDF, 296 KB
english, 1942
22

Randomness and Non-Locality

Year:
2016
Language:
english
File:
PDF, 220 KB
english, 2016
30

An example of a computable absolutely normal number

Year:
2002
Language:
english
File:
PDF, 121 KB
english, 2002
38

Kolmogorov Complexity for Possibly Infinite Computations

Year:
2005
Language:
english
File:
PDF, 283 KB
english, 2005
39

Randomness and universal machines

Year:
2006
Language:
english
File:
PDF, 206 KB
english, 2006
41

Lowness Properties and Approximations of the Jump

Year:
2006
Language:
english
File:
PDF, 271 KB
english, 2006
44

Lowness properties and approximations of the jump

Year:
2008
Language:
english
File:
PDF, 334 KB
english, 2008
46

Randomness and halting probabilities

Year:
2006
Language:
english
File:
PDF, 1.19 MB
english, 2006
47

Completeness results for memory logics

Year:
2012
Language:
english
File:
PDF, 292 KB
english, 2012